$\vdash$  $\forall$$p$,$q$:$\mathbb{B}$. ($p$ $\wedge_{b}$ $q$) $\in$ $\mathbb{B}$